Reversible, Irreversible and Optimal -machines
نویسنده
چکیده
There are two quite diierent possibilities for implementing linear head reduction in-calculus. Two ways which we are going to explain brieey here in the introduction and in details in the body of the paper. The paper itself is concerned with showing an unexpectedly simple relation between these two ways, which we term reversible and irreversible, namely that the latter may be obtained as a natural optimization of the former.
منابع مشابه
Reversible versus Irreversible Machines: Experimental Results
The Geometry of Interaction semantics introduced by Girard provides a new way of understanding the reduction process in the-calculus where the computation steps are linear and reversible. Moreover, this can be trivially implemented to give a simple compilation technique: the Geometry of Interaction Machine. At the cost of introducing global operations (irreversible copying and discarding) Danos...
متن کاملRelativized Separation of Reversible and Irreversible Space-Time Complexity Classes
Reversible computing can reduce the energy dissipation of computation, which can improve cost-efficiency in some contexts. But the practical applicability of this method depends sensitively on the space and time overhead required by reversible algorithms. Time and space complexity classes for reversible machines match conventional ones, but we conjecture that the joint space-time complexity cla...
متن کاملReversible Simulation of Irreversible Computation
Computer computations are generally irreversible while the laws of physics are reversible. This mismatch is penalized by among other things generating excess thermic entropy in the computation. Computing performance has improved to the extent that eeciency degrades unless all algorithms are executed reversibly, for example by a universal reversible simulation of irreversible computations. All k...
متن کاملReversible computing and cellular automata — a survey ∗ ( Preliminary draft )
Reversible computing is a paradigm where computing models are so defined that they reflect physical reversibility, one of the fundamental microscopic physical property of Nature. In this survey/tutorial paper, we discuss how computation can be carried out in a reversible system, how a universal reversible computer can be constructed by reversible logic elements, and how such logic elements are ...
متن کاملOptimal emission-extraction policy in a world of scarcity and irreversibility
This paper extends the classical exhaustible-resource/stock-pollution model with the irreversibility of pollution decay. Within this framework, we are wondering first how the potential irreversibility of pollution affects the extraction path. Our aim is also to emphasize the conditions under which the economy will optimally adopt a reversible policy. Once the situation has turned irreversible, ...
متن کامل